perm filename SAILCO[D,LES] blob sn#502695 filedate 1980-04-19 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	SAIL Cost Center Support					14 Mar. 1980
C00004 ENDMK
CāŠ—;
SAIL Cost Center Support					14 Mar. 1980

  P. I.		Agency		Subject			End date   Shares (%)

Weiderhold	LLL	S-1 computer			Oct. 80		 8
Feigenbaum	CSD	Departmental research				 1

Knuth		ONR	TEX						 2

Luckham		ARPA	Program verification				15
		NSF	 "       "					 3

McCarthy	ARPA	Basic AI & image understanding	Jan. 82		21
 + LES		ARPA	VSLI design			Jan. 83		 3
		NSF	Artificial Intelligence		Jun. 81		 4
		CASBS	AI & philosophy					 2
 + RWW		NSF	Formal reasoning		Jun. 82		 2
 + TOB		NSF	Advanced automation				 9

Manna		NSF	Math. Theory of Comp.				 1
		ONR	MTC						 1
??			Math. Department				 1
Geballe			Applied Physics (Dan Kimhi)			 1
VanCampen		Armenian Project (Lawence Markosian)		 1
Baskett		ARPA	VLSI (N202)					 1
									--
									76